A Methodology for the Structured Unification of Scheme and Ike Antkaretoo International Institute of Technology United Slates of Earth

Source URL: membres-lig.imag.fr

• Algorithm
• Mathematical logic
• Theoretical computer science
• Dwight D. Eisenhower

Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia

Source URL: st.inf.tu-dresden.de

• Object-oriented programming languages
• Abstract data types
• Data types
• Functional programming
• Object
• Combinatory logic
• Objective-C
• Associative array
• Self
• Object-oriented programming
• Iterator
• First-class function

Semantics for more plausible deontic logics Invited speech, DEON´02, Imperial College, London, May 22-24, 2002. Sven Ove Hansson Royal Institute of Technology

Source URL: people.kth.se

• Philosophical logic
• Modal logic
• Deontic logic
• FO
• Universal quantification
• Norm
• Formal ethics

Structured Parameter Estimation for LFG-DOP using Backoff Mary Hearne? and Khalil Sima’an† ? School of Computing, Dublin City University, Glasnevin, Dublin 9, Ireland † Institute for Logic, Language and Computation

Source URL: www.nclt.dcu.ie

• Data-oriented parsing
• Natural language parsing
• Knowledge representation
• Dilution of precision
• Lexical functional grammar
• Tree
• Density estimation

Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland

Source URL: www.acsu.buffalo.edu

• Predicate logic
• Quantification
• Ontology
• Logic
• First-order logic
• Model theory
• Problem of universals
• Universal quantification
• Universal
• Net
• Quantifier

The Skolemization of existential quantifiers in intuitionistic logic Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040

Source URL: www.phil.uu.nl

Narrative summarization and its correspondence to Proppian functions Alexander Block1,5 , Bernhard Fisseni1,2,3,5 , Carlos Le´on3,4,5 , Benedikt L¨owe1,3,5,6 , Deniz Sarikaya5 1 Institute for Logic, Language and Compu

Source URL: www.math.uni-hamburg.de

EÆcient EM Learning with Tabulation for Parameterized Logic Programs Yoshitaka KAMEYA and Taisuke SATO Dept. of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Oo

Source URL: rjida.meijo-u.ac.jp

SMT SOLVERS Spring School on Logic and Verification 2016 Martina Seidl Institute for Formal Models and Verification

Source URL: forsyte.at

Articulating the Geo-Cultural Logic of Nationalist Insurgency Lars-Erik Cederman Swiss Federal Institute of Technology (ETH) Center for Comparative and International Studies (CIS) SeilergrabenZurich Switzerland

Source URL: www.icr.ethz.ch